Dsys $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$Id$\rightarrow$MsgA